proof of the distributive law for sets